DECLARATIVE MODELING AND CONCEPTUAL SPECIFICATION ANALYSIS
OF MAINTENANCE TECHNOLOGICAL PROCESSES IN ENGINEERING 

Goryunova Valentina Viktorovna, Candidate of technical sciences, associate professor, sub-department of artillery armament and informatics, Penza Artillery Engineering Institute. 

621.0015+00253.004.89 

In this article substantive provisions of declarative dynamic modelling and aspects of development of conceptual specifications of performance and technological processes in mechanical engineering are submitted on the basis of the mathematical device of networks Petri and systems of productions. General provisions of the analysis of conceptual specifications (ontology) integrated intellectual systems are determined on the basis of the formal device of algebra of sequences with use criterial modelling estimations. 

declarative modelling, ontology, analys of ontology, informations system.